Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)
by Reiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen
ISBN 13: 9783642347801
Format: Paperback (276 pages) Publisher: Springer Published: 12 Oct 2012
Save for later